/*
 * Copyright (c) 2024 iSOFT INFRASTRUCTURE SOFTWARE CO., LTD.
 * easyAda is licensed under Mulan PubL v2.
 * You can use this software according to the terms and conditions of the Mulan PubL v2.
 * You may obtain a copy of Mulan PubL v2 at:
 *          http://license.coscl.org.cn/MulanPubL-2.0
 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
 * EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
 * MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
 * See the Mulan PubL v2 for more details.
 */

#ifndef DOMAIN_H
#define DOMAIN_H

#include <plat/config.h>

typedef unsigned short dom_t;

typedef struct dschedule {
    dom_t        domainId;
    unsigned int timeLength;
} dschedule_t;

extern const dschedule_t domSchedule[];
extern dom_t             domScheduleLength;
extern dom_t             curDomainId;
extern unsigned int      curDomainTime;

void deductCurDomainTime(int offset);

void domain_init(unsigned int dom_id);

unsigned int getCurDomainId(void);

unsigned int getCurDomainTime(void);

#endif
